Singly generated quasivarieties and residuated structures

A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A. A consequence of this demand, called "passive structural completeness" (PSC), is that the nontrivial members of K all satisfy the same existential positive sentences. We prove that if K is PSC then it still has the JEP, and if it has the JEP and its nontrivial members lack trivial subalgebras, then its relatively simple members all belong to the universal class generated by one of them. Under these conditions, if K is relatively semisimple then it is generated by one K-simple algebra. It is a minimal quasivariety if, moreover, it is PSC but fails to unify some finite set of equations. We also prove that a quasivariety of finite type, with a finite nontrivial member, is PSC iff its nontrivial members have a common retract. The theory is then applied to the variety of De Morgan monoids, where we isolate the sub(quasi)varieties that are PSC and those that have the JEP, while throwing fresh light on those that are structurally complete. The results illuminate the extension lattices of intuitionistic and relevance logics

A novel method of experimental determination of grain stresses and critical resolved shear stresses for slip and twin systems in a magnesium alloy

A novel original method of determination of stresses and critical resolved shear stresses (CRSSs) using neutron diffraction was proposed. In this method, based on the crystallite group method, the lattice strains were measured in different directions and using different reflections hkl during uniaxial deformation of magnesium alloy AZ31. The advantage of this method is that the stresses for groups of grains having similar orientations can be determined directly from measurement without any models used for data interpretation. The obtained results are unambiguous and do not depend on the models assumptions as in previous works. Moreover, it was possible for the first time to determine the uncertainty of the measured CRSS values and local stresses at groups of grains. The used methodology allowed for the determination of stress partitioning between grains having different orientations and for an explanation of the anisotropic mechanical behaviour of the strongly textured alloy. Finally, the CRSS values allowed for the validation of the type of intergranular interaction assumed in the elastic-plastic self-consistent model and for a significant reduction of the number of unknown parameters when the model is adjusted to the experimental data.Comment: 61 pages, 31 figures, 6 pages in Appendix, Accepted in Measuremen

A novel method of experimental determination of grain stresses and critical resolved shear stresses for slip and twin systems in a magnesium alloy

A novel original method of determination of stresses and critical resolved shear stresses (CRSSs) using neutron diffraction was proposed. In this method, based on the crystallite group method, the lattice strains were measured in different directions and using different reflections hkl during uniaxial deformation of magnesium alloy AZ31. The advantage of this method is that the stresses for groups of grains having similar orientations can be determined directly from measurement without any models used for data interpretation. The obtained results are unambiguous and do not depend on the models assumptions as in previous works. Moreover, it was possible for the first time to determine the uncertainty of the measured CRSS values and local stresses at groups of grains. The used methodology allowed for the determination of stress partitioning between grains having different orientations and for an explanation of the anisotropic mechanical behaviour of the strongly textured alloy. Finally, the CRSS values allowed for the validation of the type of intergranular interaction assumed in the elastic–plastic self-consistent model and for a significant reduction of the number of unknown parameters when the model is adjusted to the experimental data

The hardening in alloys and composites and its examination with a diffraction and self-consistent model

The paper presents the results of diffraction stress measurement in Al/SiC composite and in 2124T6 aluminum alloy during the in situ tensile test. The main aim of the work is to observe the stress values for different stages of tensile test for the composite after applying two types of thermal treatment and for the alloy used as a matrix in this composite, to identify the type of hardening process. The experimental results were compared against the calculations results obtained from the self-consistent model developed by Baczmański [1] - [3] to gain the information about the micromechanical properties (critical resolved shear stress τ$_{cr}$ and hardening parameter H) of the examined materials. This comparison allowed researchers to determine the role of reinforcement in the composite as well as the impact of the heat treatment on the hardening of the material

RIPK4 downregulation impairs Wnt3A-stimulated invasiveness via Wnt/β\beta-catenin signaling in melanoma cells and tumor growth in vivo

Purpose The role of Wnt signaling in oncogenesis and drug resistance is well known. Receptor-interacting protein kinase (RIPK4) contributing to the increased activity of many signaling pathways, including Wnt/$\beta$-catenin, may be an important target for designing new drugs for metastatic melanoma, but its role in melanoma is not fully understood. Methods We tested the effect of genetic manipulation of RIPK4 (CRISPR/Cas9) on xenograft growth. In addition, immunohistochemistry was used to detect active $\beta$-catenin, Ki67 and necrosis in xenografts. Wnt signaling pathway activity was examined using Western blot and Top-Flash. The effect of RIPK4 knockout on melanoma cells in vitro stimulated Wnt3A on wound overgrowth, migration and invasion ability was then evaluated. Results Our study showed that CRISPR/Cas9-mediated RIPK4 knockout (KO) significantly reduced tumor growth in a mouse model of melanoma, particularly of WM266.4 cells. RIPK4 KO tumors exhibited lower percentages of $Ki67^{+}$ cells as well as reduced necrotic area and decreased levels of active $\beta$-catenin. In addition, we observed that RIPK4 knockout impaired Wnt3A-induced activation of LRP6 and $\beta$-catenin, as manifested by a decrease in the transcriptional activity of $\beta$-catenin in Top-Flash in both tested melanoma cell lines, A375 and WM266.4. Prolonged incubation (48 h) with Wnt3A showed reduced level of MMP9, C-myc, and increased SOX10, proteins whose transcription is also dependent on $\beta$-catenin activity. Moreover, RIPK4 knockout led to the inhibition of scratch overgrowth, migration and invasion of these cells compared to their controls. Conclusion RIPK4 knockdown inhibits melanoma tumor growth and Wnt3A stimulated migration and invasion indicating that RIPK4 might be a potential target for melanoma therapy

Vemurafenib and dabrafenib downregulates RIPK4 level

Vemurafenib and dabrafenib are BRAF kinase inhibitors (BRAFi) used for the treatment of patients with melanoma carrying the V600E BRAF mutation. However, melanoma cells develop resistance to both drugs when used as monotherapy. Therefore, mechanisms of drug resistance are investigated, and new molecular targets are sought that could completely inhibit melanoma progression. Since receptor-interacting protein kinase (RIPK4) probably functions as an oncogene in melanoma and its structure is similar to the BRAF protein, we analyzed the impact of vemurafenib and dabrafenib on RIPK4 in melanomas. The in silico study confirmed the high similarity of BRAF kinase domains to the RIPK4 protein at both the sequence and structural levels and suggests that BRAFi could directly bind to RIPK4 even more strongly than to ATP. Furthermore, BRAFi inhibited ERK1/2 activity and lowered RIPK4 protein levels in BRAF-mutated melanoma cells (A375 and WM266.4), while in wild-type BRAF cells (BLM and LoVo), both inhibitors decreased the level of RIPK4 and enhanced ERK1/2 activity. The phosphorylation of phosphatidylethanolamine binding protein 1 (PEBP1) - a suppressor of the BRAF/MEK/ERK pathway - via RIPK4 observed in pancreatic cancer did not occur in melanoma. Neither downregulation nor upregulation of RIPK4 in BRAF- mutated cells affected PEBP1 levels or the BRAF/MEK/ERK pathway. The downregulation of RIPK4 inhibited cell proliferation and the FAK/AKT pathway, and increased BRAFi efficiency in WM266.4 cells. However, the silencing of RIPK4 did not induce apoptosis or necroptosis. Our study suggests that RIPK4 may be an off-target for BRAF inhibitors

The stubborn non-probabilist : "negation incoherence" and a new way to block the Dutch Book argument

We rigorously specify the class of nonprobabilistic agents which are, we argue, immune to the classical Dutch Book argument. We also discuss the notion of expected value used in the argument as well as sketch future research connecting our results to those concerning incoherence measures

Investigation on the Behavior of Austenite and Ferrite Phases at Stagnation Region in the Turning of Duplex Stainless Steel Alloys

This paper investigates the deformation mechanisms and plastic behavior of austenite and ferrite phases in duplex stainless steel alloys 2205 and 2507 under chip formation from a machine turning operation. SEM images and EBSD phase mapping of frozen chip root samples detected a build-up of ferrite bands in the stagnation region, and between 65 and 85 pct, more ferrite was identified in the stagnation region compared to austenite. SEM images detected micro-cracks developing in the ferrite phase, indicating ferritic build-up in the stagnation region as a potential triggering mechanism to the formation of built-up edge, as transgranular micro-cracks found in the stagnation region are similar to micro-cracks initiating built-up edge formation. Higher plasticity of austenite due to softening under high strain is seen responsible for the ferrite build-up. Flow lines indicate that austenite is plastically deforming at a greater rate into the chip, while ferrite shows to partition most of the strain during deformation. The loss of annealing twins and activation of multiple slip planes triggered at high strain may explain the highly plastic behavior shown by austenite